Object type - PDFSEARCH.IO - Document Search Engine

Object type
Results: 830

#	Item
81	Type-Based Reasoning for Real Languages Janis Voigtl¨ander University of Bonn PPL’10 Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 Type theory Data types Functional programming Object-oriented programming Polymorphism Parametric polymorphism Map Ordinal number Boolean data type
82	The Verb 12d. A verb is a word used to express action or to help otherwise in making a statement. Predicate verbs are those that express action in a sentence. Predicate verbs can be classified in two ways—by type and b Add to Reading List Source URL: chrisfriend.us Language: English - Date: 2016-03-24 20:06:30 Parts of speech Semantics Verb Intransitive verb Transitive verb Object Complement Subject Copula Passive voice Voice Predicate
83	Lightweight Session Programming in Scala∗ Alceste Scalas and Nobuko Yoshida Imperial College London, UK — {a.scalas , n.yoshida} @ imperial.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-05-09 14:09:08 Type theory Concurrent programming languages Object-oriented programming Polymorphism Data types Scala Covariance and contravariance Go Type system Type inference Subtyping Form
84	Algorithm 5 Sceneview Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2015-09-18 15:24:27 Transformation Functions and mappings Translation
85	Value Classes in Scala Lukas Rytz, Typesafe Value Classes in Scala • Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Object-oriented programming languages Functional programming Type theory Scala Immutable object Xtend C++ classes Covariance and contravariance Type class
86	Reflections on Standard ML David B. MacQueen AT&T Bell Laboratories Murray Hill NJAbstract. Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for Add to Reading List Source URL: sml-family.org Language: English - Date: 2016-04-04 09:33:37 Functional languages Procedural programming languages Object-oriented programming languages Data types Source code ML Lisp Programming language Macro Type safety Anonymous function HOL
87	Metaprogramming with Traits John Reppy and Aaron Turon University of Chicago {jhr,adrassi}@cs.uchicago.edu Abstract. In many domains, classes have highly regular internal structure. For example, so-called business objec Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:20 C++ Method Object-oriented programming languages Java Type theory Trait Multiple inheritance Mixin Mutator method Java syntax Inheritance Parameter
88	Polymorphism and Type Inference in Database Programming PETER BUNEMAN University of Pennsylvania and ATSUSHI OHORI Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:17 Type theory Data types Functional programming Object-oriented programming Polymorphism Parametric polymorphism Type inference Type system ML Database Type variable Kind
89	ODV API for Java Reiner Schlitzer Version 2.0 March 25, 2015 Add to Reading List Source URL: odv.awi.de Language: English - Date: 2015-03-25 13:30:44 Object-oriented programming languages Data types Technical communication Cross-platform software Java Enumerated type Application programming interface D Pointer Metadata Constant Comparison of C Sharp and Java
90	Open GADTs and Declaration-site Variance: A Problem Statement Paolo G. Giarrusso Philipps University Marburg ABSTRACT Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Type theory Polymorphism Data types Object-oriented programming Dependently typed programming Covariance and contravariance Higher-order abstract syntax Lambda calculus Const Subtyping Scala Generalized algebraic data type

UPDATE